Modus ponens - German English Dictionary